ʻEdut be-Hosef -- Derekh ʻets ha-ḥayim -- Refuʼat ha-nefesh -- ha-Tapuaḥ.

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...) Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)

Some people claim that evolution is "just a theory". Do you know what a scientific theory really is? Just a theory is an overview of the modern concepts of science. A clear understanding of the nature of science will enable you to distinguish science from pseudoscience (which illegitimately wraps itself in the mantle of science), and real social issues in science from the caricatures portrayed in postmodernist critiques. Prof. Ben-Ari's style is light (even humorous) and easy to read, bringing the (...) latest concepts of science to the general reader. Of particular interest is his analysis of the terminology of science (fact, law, proof, theory) in relation to the colloquial meaning of these terms. Between chapters are biographical vignettes of scientists — both familiar and unfamiliar — showing their common commitment to the enterprise of science, together with a diversity of backgrounds and personalities. This accessible, informative, and comprehensive work will give lay readers a good grasp of real science. (shrink)

Trabajando sobre el género de ¿Historias de los Profetas¿ (Qis.as. al-Anbiya-¿) en el proceso de elaboración de mi tesis sobre Abraham en la literatura islámica, el profesor J. Sadan me envió un manuscrito que había localizado en la British Library relacionado con este género. Posteriormente encontré versiones similares de la misma composición, lo que me animó a profundizar mi investigación sobre sus orígenes. La obra está próxima a la literatura de predicación (wa¿z.), que se ocupa principalmente de la educación moral, (...) pero también incluye historias. Me planteé la posibilidad de que éste formarse un género que hubiera surgido como una ayuda, un material auxiliar concebido para entender la tradición oral y los estudios religiosos para, posteriormente, convertirse en un género independiente, más cercano a la Parénesis o al Specula Regis (Espejos de príncipes). Describiré el manuscrito para intentar alcanzar una conclusión sobre ciertas cuestiones: ¿es éste un género literario diferente?, ¿se trata de un género educativo o solamente es una versión simplificada de historias para ilustrar a niños o principiantes de la lengua árabe?, ¿buscaría el autor un nombre original para su compilación, haciendo referencia al reducido tamaño de la colección y descartando el de Qis.as. al-Anbiya-¿ por ser conocido? (shrink)

Sefer Ḳol min ḥayim -- Sefer Ḳol rinah ṿi-yeshuʻah -- Sefer Orḥot ḥayim ʻim perush Netiv ḥayim -- Sefer Zikhron ʻolam -- Maʼamar Zikhron Yerushalayim.

The map is not the territory - from ontology to epistemology in knowledge construction -- Dialectics: a mechanism of knowledge construction -- Reflectivity reconsidered -- Reflectivity and the researchers' perspective -- Reflectivity and the participants' perspective -- Ethical differences and similarities as sources of reflection and knowledge construction -- Research relations and power differentials: from resistance to collaboration and in-between -- Frames of reference and the control of knowledge -- Reciprocity: the nature and attributes of research relations and power -- (...) Epilogue: from dialectics to dialog across liminal spaces. (shrink)

This article examines the importation of new gender ideals into a highly masculine organization through top-down and bottom-up processes. We analyze how a dominant group of men undo and redo gender to reproduce their supremacy and create a new, “improved” form of masculinity. Based on qualitative research on the practice of debriefing in the Israel Air Force, we explore how new practices of masculinity are incorporated into a hegemonic masculinity by introducing so-called “soft” organizational practices and thus constructing a new (...) form of “upgraded” masculinity. We show that pilots are involved in two continual and dialectical processes of performing masculinity. The first includes top-down practices neutralizing opportunities to execute exaggerated masculine performances, including new technologies allowing recording and documenting of all flights, a safety discourse emphasizing the protection of human life, and organizational learning based on self- and group critiques aimed at improved performance. The second, a bottom-up process enacted by pilots, is aimed at restoring and mobilizing masculinity and includes rationalized professionalism, competitiveness, and patronizing. Taken together, these constitute a hybrid, “upgraded” masculinity where “soft” characteristics are appropriated by men to reinforce a privileged status and reproduce their dominance within and outside the military. Our case study focuses on the debriefing, a process in which air teams formally reflect on their performance after a particular task/event to improve it. (shrink)

The question of Palestine has remained the ultimate test for intellectual and political consistency. In this article we canvass the discrepancies between two opposing French intellectual traditions in relation to Palestine, and scrutinise them in relation to Israel's investments in political languages designed for external constituencies. The article concludes with an observation on how French feminist voices are today shaping the conversation about the Palestine question in progressive ways.

We investigate the connection between $\triangle^1_3$-stability for random and Cohen forcing notions and the measurability and categoricity of the $\triangle^1_3$-sets. We show that Shelah's model for $\triangle^1_3$-measurability and categoricity satisfies $\triangle^1_3$-random-stability while it does not satisfy $\triangle^1_3$-Cohen-stability. This gives an example of measure-category asymmetry. We also present a result concerning finite support iterations of Suslin forcing.